Advanced Computing and Systems for Security: Volume Eight: 883 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki
ISBN 13: 9789811337017
Format: Paperback (204 pages) Publisher: Springer Published: 05 Mar 2019
Save for later
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings: 2575 (Lecture Notes in Computer Science)
by Agostino Cortesi,Supratik Mukhopadhyay,Paul D. Attie,Lenore D. Zuck
ISBN 13: 9783540003489
Format: Paperback (340 pages) Publisher: Springer Published: 13 Jun 2008
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: 1694 (Lecture Notes in Computer Science)
by Agostino Cortesi, Gilberto File
ISBN 13: 9783540664598
Format: Paperback (368 pages) Publisher: Springer Published: 13 Jun 2008
Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings: 7564 (Lecture Notes in Computer Science)
by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Slawomir Wierzchon
ISBN 13: 9783642332593
Format: Paperback (456 pages) Publisher: Springer Published: 10 Aug 2012
Advanced Computing and Systems for Security: Volume Ten: 996 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
ISBN 13: 9789811389689
Format: Paperback (180 pages) Publisher: Springer Published: 05 Sep 2019
Advanced Computing and Systems for Security: Volume Eleven: 1178 (Advances in Intelligent Systems and Computing)
ISBN 13: 9789811557460
Format: Paperback (156 pages) Publisher: Springer Published: 23 Jul 2020
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2021: 99 (Lecture Notes on Data Engineering and Communications Technologies, 99)
by Nabendu Chaki,Nagaraju Devarakonda,Agostino Cortesi,Hari Seetha
ISBN 13: 9789811671814
Format: Paperback (484 pages) Publisher: Springer Published: 01 Mar 2022